Germany

Results: 46060



#Item
121

UTNL1996 NEWSLETTER 1/96 +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Editor: Reinhard Klein-Arendt, Bachemer Str. 57, DCologne, Germany Tel.: ( / Fax: (

Add to Reading List

Source URL: www.udxf.nl

Language: English - Date: 2017-11-06 04:34:28
    122

    Turning Failure into Proof: The ProB Disprover Sebastian Krings Heinrich-Heine-University Düsseldorf, Germany Abstract

    Add to Reading List

    Source URL: satsmt2014.forsyte.at

    Language: English - Date: 2014-08-19 06:22:41
      123

      185 Evolution of evolutionary mechanisms: A workshop held at Berlepsch Castl~ (Gottingen, West Germany), November, 1980 Received April 13, 1981 There is almost no doubt that the strategies that underlie the process

      Add to Reading List

      Source URL: dynamics.org

      Language: English - Date: 2011-11-21 01:01:10
        124

        Prof. Dr. Angelika Messner President, IASTAM Leibnizstrasse 10, 24118 Kiel, Germany

        Add to Reading List

        Source URL: iastam.org

        Language: English - Date: 2017-12-20 08:51:39
          125

          FIRST MEASUREMENTS AT THE PHOTO INJECTOR TEST FACILITY AT DESY ZEUTHEN* R. Bakker, M.v. Hartrott, E. Jaeschke, D. Krämer, BESSY, 12489 Berlin, Germany J.P. Carneiro, K. Flöttmann, P. Piot, J. Roßbach, S. Schreiber, DE

          Add to Reading List

          Source URL: pitz.desy.de

          Language: English - Date: 2013-08-14 10:27:40
            126

            RULES & REGULATIONS - FILTECHOrganiser Filtech Exhibitions Germany GmbH & Co. KG PO Box 12 25 – 40637 Meerbusch – Germany Phone: +60 Fax: +62

            Add to Reading List

            Source URL: exhibitors.filtech.de

            Language: English
              127

              University of FreiburgFreiburg . Germany Press Release University of Freiburg

              Add to Reading List

              Source URL: bioinf.uni-freiburg.de

              Language: English - Date: 2017-02-16 03:41:37
                128

                Termination Analysis of Programs with Bitvector Arithmetic by Symbolic Execution J¨ urgen Giesl LuFG Informatik 2, RWTH Aachen University, Germany

                Add to Reading List

                Source URL: cl-informatik.uibk.ac.at

                Language: English - Date: 2016-09-11 10:26:10
                  129

                  Including Layout Information in SBML Files Ralph Gauges, Ursula Rost, Sven Sahle and Katja Wegner European Media Laboratory Schloss-Wolfsbrunnen WegHeidelberg Germany

                  Add to Reading List

                  Source URL: otto.bioquant.uni-heidelberg.de

                  Language: English - Date: 2008-02-13 11:07:37
                    130

                    Topic Overview Xth National Selection Process of the European Youth Parliament in Germany Creating jobs through innovative entrepreneurship: what measures should the EU take to ensure the successful implementation of the

                    Add to Reading List

                    Source URL: www.eyp.de

                    Language: English - Date: 2017-10-18 16:26:38
                      UPDATE